what is a lubricator